4

General Solutions of Reflection Equations for Bariev Model

Year:
2008
Language:
english
File:
PDF, 62 KB
english, 2008
7

Solutions to Cintula's open problems

Year:
2006
Language:
english
File:
PDF, 215 KB
english, 2006
14

Undefinability of min-conjunction in MTL

Year:
2006
Language:
english
File:
PDF, 192 KB
english, 2006
16

Disjunctive elimination rule and its application in MTL

Year:
2006
Language:
english
File:
PDF, 176 KB
english, 2006
17

Logics with disjunction and proof by cases

Year:
2008
Language:
english
File:
PDF, 186 KB
english, 2008
24

Prenex normal form in linguistic quantifiers modeled by Sugeno integrals

Year:
2008
Language:
english
File:
PDF, 143 KB
english, 2008
29

A characterization of truth-functions in the nilpotent minimum logic

Year:
2004
Language:
english
File:
PDF, 296 KB
english, 2004
30

Logics for residuated pseudo-uninorms and their residua

Year:
2013
Language:
english
File:
PDF, 140 KB
english, 2013
33

Involutive uninorm logic with the n-potency axiom

Year:
2013
Language:
english
File:
PDF, 1.20 MB
english, 2013
37

The finite model property for semilinear substructural logics

Year:
2013
Language:
english
File:
PDF, 112 KB
english, 2013
39

A fuzzy logic for an ordinal sum t-norm

Year:
2005
Language:
english
File:
PDF, 250 KB
english, 2005
40

On an axiomatic system for the logic of linearly ordered BCI-matrices

Year:
2012
Language:
english
File:
PDF, 215 KB
english, 2012
44

Uninorm logic with the -potency axiom

Year:
2012
Language:
english
File:
PDF, 213 KB
english, 2012